p +/afs/cs/project/twelf/misc/ps-type1/embed.map