Add spew for addl_rm().
Teach the assembler about xaddl().