void script_4357(int arg0) { script_4358(arg0); return; }