des (0, 2, 2)
(0, "PRINT .*", 1)
(1, "ACCEPT", 1)