001: type main: integer -> integer 002: function test: main 003: 004: test (a) := { 005: [integer:x; integer:y] 006: x := 3; 007: y := -x; 008: return y; 009: }