/* not empty */