PROCEDURE [TUPLE [INTEGER_8]]
5

Execution completed