Require genuine SubstitutionTableNumberCodec in test