RAX_pre — enter a value (0x… hex or decimal)
RAX_pre
RAX_post = RAX_pre − 1