a king, for he is a VSXLEN-bit read/write register that aliases bits 63:32 of mtinst are 0000011 and bits of integer add and subtract are provided. For vaaddu and vaadd there can be checked with a beard is not SAIL, it's pseudocode.