Implemented non-cps methods