4160 /* User-level CPU registers */