void script_3930(int arg0,int arg1,int arg2) { script_3931(arg0, arg1, arg2); return; }