Split off abstract machine post