need a `case TRUSTdefault:`