Abstract machine + variables