Is this sentence basically "extern fns have an ABI" or is it meant to be saying something else?