- ({-"{\color<3>[rgb]{1,0,0}"-}state'{-"}"-}, o) = func {-"{\color<2>[rgb]{1,0,0}"-}state{-"}"-} i
- out = run func {-"{\color<3>[rgb]{1,0,0}"-}state'{-"}"-} input
+ ({-"{\color<3>[rgb]{1,0,0}"-}state'{-"}"-}, o) = func {-"{\color<2>[rgb]{1,0,0}"-}state{-"}"-} i
+ out = run func {-"{\color<3>[rgb]{1,0,0}"-}state'{-"}"-} input