The set of `verbatim...` builtin functions lets you create bytecode for opcodes that are not known to the Yul compiler.