Ttype extended, check_operands func