import "StandardLibrary"

rule A where
    @to
    Execute (print "A")

rule B where
    @to
    Execute (print "B")
    
rule C where
    @to
    Execute (print "C")
    
main = transformation OneShotForward where
--
A
B
C
()