# CONFIG_ILLEGAL_POINTER_VALUE is not set
