print abstract machine rules: 1st draft