rkt->scm converted, github couldnt decode