Marking r7rsEnv as a stub