Implement first bits of continuation passing style