Separate a formal's ABI position from its sdb index ##analysis