inline asm semantics; proceed with less precision