Symbol: gb_operation_result