Type Definition OPERATION_END_PARAMETERS
CCODE
type OPERATION_END_PARAMETERS = _OPERATION_END_PARAMETERS;