The `SatelliteAntenna` class contains sepate fields and accessors for satellite system and prn despite a `SatInSystem` container exists for this. This is awkward and induces duplication of PRN offsets logic for the SBAS (offset 100) and QZSS (offset 192) systems in the `AntexLoader` class, which is already implemented in `SatInSystem`.