Characteristic predicate Int_fast16_t :: Int_fast16_t