Open
Description
There are a number of comments left over from past X64 verification efforts. Now that these have succeeded, removing them would be a good idea. Example:
(* FIXME x64: ucast? see how it goes *)
It went well, and now the comment can go. Searching (case-insensitive) for FIXME x64 should find them all. There are similar ones left over from ARM_HYP and RISCV64 to look out for, but that's probably for a new issue.