Known Issues in Pnuts 1.0beta9