// trapsNeverHappen=false