Update pair005_firstfile.rkt