SPECIAL [INTEGER_32]
Execution completed