utils.cc #1