abi checks