global Element integer_addition integer_addition = ?primitives/integer_addition Integer i i = integer_addition(1, 2)