int pt0003100(int argc, char* argv[]);