Add example.rkt.