fixup! WIP: Assembler: support writing out annotation default values