const onload_setterinfo: JSJitInfo;