toString function was part of Havoc. Now replaced by inline template