abi/cpu/type checks