Added stubs for r7rs