Building the simple app from the doc results in an invalid SPIR-V module. The NoSignedWrap decoration is used but the SPV_KHR_no_integer_wrap_decoration isn't declared with an OpExtension. Declaring the extension is enough to make the module pass the validator.