add p4.rkt