es property

arm_exception_state es
getter/setter pair

Implementation

external arm_exception_state es;