rust-util.hatter.cc