times_2_u32_opt.zok

def main(private u32 x) -> u32 {
    return 0x00000002 * x;
}