const onclosing_setterinfo: JSJitInfo;