# CONFIG_UBSAN_ALIGNMENT is not set