galatea/src/util
