require_extension('A');
WRITE_RD(MMU.load_reserved<int32_t>(RS1));