/* not empty *