Initial verbatim assembler specs