Officially switching target to r7rs small (WG1)