assem: expressions for .equ, self-reference check (refcheck)