Label "fibs"
CopyInput 0
Push 3
CreateFrame 1

Label "fibs_0"
MatchRule
MatchAvailable
MatchVar 0
Consume 0
MatchedRule
Call "l_fibs_0_0"
Goto "ln_fibs_0_0"

Label "l_fibs_0_0"
CreateFrame 1
PushVarF 1 0
Call "f_fib"
Slide 1
MakeVar 0
MkString "\n"
PushVar 0
CallPrim "show"
CallPrim "++"
MkInt 1
PushVarF 1 0
CallPrim "+"
MkTuple 2
Return

Label "ln_fibs_0_0"
Function "l_fibs_0_0" 
Unpack
CheckOutputs
Write 0
Write 1
Schedule

Label "fibs_handler"
CreateFrame 0

Label "fibs_handler_0"
MatchRule
MatchExn "HeapOverflow"
CopyArg 0
Unpack
MatchTuple 0
MatchedRule
MkNone
MkNone
MkTuple 2
Unpack
CheckOutputs
Write 0
Write 1
Schedule
Function "fibs_handler" "fibs_handler_0"

Label "f_fib"
CreateFrame 1

Label "f_fib_0"
MatchRule
MatchInt 0
MatchedRule
MkInt 1
Return

Label "f_fib_1"
MatchRule
MatchInt 1
MatchedRule
MkInt 1
Return

Label "f_fib_2"
MatchRule
MatchVar 0
MatchedRule
MkInt 2
PushVar 0
CallPrim "-"
Call "f_fib"
Slide 1
MkInt 1
PushVar 0
CallPrim "-"
Call "f_fib"
Slide 1
CallPrim "+"
Return
Function "f_fib" "f_fib_0" "f_fib_1" "f_fib_2"

Box "fibs" "fibs" 36 22 1 2 1 "fibs_init" "fibs_handler" NullT
Rule "fibs" "fibs_0"
Require "fibs" True

Label "fibs_init"
MkInt 0
Write 0
Schedule
Stream "stdout" Out "s_write" "std_out" 4 1 0 NullT
Wire "stdout" 0 "stdout" 0 4 0 NullT

Label "s_read"
Input
Write 0
Schedule

Label "s_write"
CopyInput 0
Consume 0
Output
Schedule

Label "s_timeout"
MkTuple 0
Raise "Timeout"

Label "s_soverflow"
MkTuple 0
Raise "StackOverflow"

Label "s_hoverflow"
MkTuple 0
Raise "HeapOverflow"
Wire "fibs" 0 "fibs" 0 2 0 NullT
Wire "stdout" 0 "fibs" 1 2 0 NullT