abi(.c): 42