int ps0544100(int argc, char* argv[]);
int ps0544200(int argc, char* argv[]);