ICP1: extra: `do'