Add 2.42.rkt