pub fn arg64_word(v: b64, at: b12, base: b12) -> (bool, b32)
The value of 64-bit argument v at register offset at (low word at base, high at base + 4).
v
at
base
base + 4