Abstract machine notation