const onclosing_getterinfo: JSJitInfo;