part of context it swaps for AVL ≤ VLMAX vl ≤ AVL a value returned by r, and no zero extension for memory access privileges (read, write,