Removed main and stdio

These are now in ptest.c