Abstract machines and lollipops