Label "select"
CopyInput 2
CopyInput 1
CopyInput 0
Push 3
CreateFrame 1

Label "select_0"
MatchRule
MatchAvailable
MatchVar 0
MatchNone
MatchAvailable
MatchCon "Left" 0
Consume 0
Consume 2
MatchedRule
MkCon "Right" 0
PushVar 0
MkTuple 2
Unpack
CheckOutputs
Write 0
Write 1
Schedule

Label "select_1"
MatchRule
MatchNone
MatchAvailable
MatchVar 0
MatchAvailable
MatchCon "Right" 0
Consume 1
Consume 2
MatchedRule
MkCon "Left" 0
PushVar 0
MkTuple 2
Unpack
CheckOutputs
Write 0
Write 1
Schedule

Label "select_2"
MatchRule
MatchNone
MatchNone
MatchAvailable
MatchVar 0
Consume 2
MatchedRule
PushVar 0
MkNone
MkTuple 2
Unpack
CheckOutputs
Write 0
Write 1
Schedule

Box "select" "select" 14 10 3 2 3 "select_init" "select_handler" NullT
Rule "select" "select_0" "select_1" "select_2"
Require "select" True False True
Require "select" False True True
Require "select" False False True

Label "inf1_init"
Schedule

Label "inf2_init"
Schedule

Label "select_init"
MkCon "Left" 0
Write 1
Schedule
Stream "stdout" Out "s_write" "std_err" 2 1 0 NullT
Stream "inf1" In "s_read" "selects1.txt" 2 1 0 NullT
Stream "inf2" In "s_read" "selects2.txt" 2 1 0 NullT
Wire "stdout" 0 "stdout" 0 2 0 NullT
Wire "inf1" 0 "inf1" 0 2 0 NullT
Wire "inf2" 0 "inf2" 0 2 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 "select" 0 "inf1" 0 2 0 NullT
Wire "select" 1 "inf2" 0 2 0 NullT
Wire "select" 2 "select" 1 3 0 NullT
Wire "stdout" 0 "select" 0 2 0 NullT