const read_getterinfo: JSJitInfo;