gendb: pretty print