I believe `count_insn` is just for some stats. Running `rustc -Z count-llvm-insns` will give you some counts of where LLVM insns originate.

Yes, `llfty` is the "type" of the inline assembly. Right now it's just a void return type with no input args since I haven't actually added the things necessary to make it take input and output operands.