initial commit of .rkt files