int ps0398100(int, char**);