# CONFIG_DEBUG_STRICT_USER_COPY_CHECKS is not set
