2019-07-13 13:03:54 +03:00
|
|
|
packagetype _plain
|
|
|
|
|
packagetype _code
|
|
|
|
|
|
|
|
|
|
primitive !return val -> void
|
|
|
|
|
primitive !modulo val val -> val
|
|
|
|
|
primitive !plus val val -> val
|
|
|
|
|
primitive !minus val val -> val
|
|
|
|
|
primitive !jump lab -> void
|
|
|
|
|
|
|
|
|
|
package main _plain
|
|
|
|
|
package resources _plain
|
|
|
|
|
kind K_number int32
|
|
|
|
|
kind K_phrase_number____nothing function K_number -> void
|
|
|
|
|
package MyRoutine_B _code
|
2022-02-09 02:00:30 +02:00
|
|
|
symbol private local x
|
|
|
|
|
symbol private local y
|
2019-07-13 13:03:54 +03:00
|
|
|
symbol private label .useless
|
|
|
|
|
symbol private label .useful
|
2022-02-09 02:00:30 +02:00
|
|
|
symbol public misc K_number
|
2019-07-13 13:03:54 +03:00
|
|
|
local x K_number
|
|
|
|
|
local y K_number
|
2019-07-13 17:33:57 +03:00
|
|
|
code
|
2019-07-13 13:03:54 +03:00
|
|
|
inv !return
|
|
|
|
|
val K_number x
|
|
|
|
|
.useless
|
|
|
|
|
inv !return
|
|
|
|
|
inv !plus
|
|
|
|
|
val K_number x
|
|
|
|
|
val K_number y
|
|
|
|
|
inv !return
|
|
|
|
|
inv !minus
|
|
|
|
|
val K_number x
|
|
|
|
|
val K_number y
|
|
|
|
|
inv !jump
|
|
|
|
|
lab .useful
|
|
|
|
|
.useful
|
|
|
|
|
inv !return
|
|
|
|
|
inv !modulo
|
|
|
|
|
val K_number x
|
|
|
|
|
val K_number y
|
|
|
|
|
constant MyRoutine K_phrase_number____nothing = MyRoutine_B
|
