Abstract machine implementation.