const required_getterinfo: JSJitInfo;