you can call makeAsmCoercion for this stuff