extensions for asm semantics