rewritten to r6rs style