/* the process's register set */