const valid_getterinfo: JSJitInfo;