const multiple_getterinfo: JSJitInfo;