Known Issues in Pnuts 1.0beta8 p4