gistfile1.txt

$ racket -iq -e "(require rosette)"
Welcome to Racket v6.4.
> (define (foo) identity)
> foo
#<procedure:foo>
> identity
#<procedure:identity>
> ((foo) 3)
free-identifier=?: contract violation
  expected: identifier?
  given: #<syntax::39 (foo)>
  argument position: 1st
  other arguments...:
   #<syntax:/Users/ashe2/Library/Racket/6.4/pkgs/rosette/rosette/base/form/module.rkt:35:31 @define-generics>
  context...:
   /Users/ashe2/Library/Racket/6.4/pkgs/rosette/rosette/base/form/module.rkt:32:0
   /opt/homebrew-cask/Caskroom/racket/6.4/Racket v6.4/collects/racket/private/misc.rkt:87:7
> (let ([this-works (foo)])
     (this-works 3))
3

the -q argument to racket just stops it loading up my .racketrc, so everything remains pristine