/boltzgen/utility/