Symbol: internal_op_state_t