# CONFIG_READABLE_ASM is not set