WIP to add r7rs command line option