stricter constraints of asm() blocks