# CONFIG_HAVE_UID16 is not set
