- serialAvailable = undef
- serialPrint _ = undef
- serialPrintln _ = undef
- serialRead = undef
- serialParseInt = undef
-
-Start :: Main (ByteCode Int Expr)
-Start = {main=serialPrint (lit 36)}
+ serialAvailable = undef
+ serialPrint _ = undef
+ serialPrintln _ = undef
+ serialRead = undef
+ serialParseInt = undef
+
+instance zero BCState where
+ zero = {a=()}
+
+runByteCode :: (ByteCode Int Expr) BCState -> [BC]
+runByteCode (BC f) s = fst (f Rd s)
+
+//Start :: Main (ByteCode Int Expr)
+Start :: [BC]
+//Start :: ByteCode Int Expr
+Start = runByteCode (lit 36) zero