adding rocket.rkt