Add ABI machinery to extern fns