The unspecified default is the highest available SDK which may be larger than TARGET_SDK (as specified by the manifest). PiperOrigin-RevId: 249064173
