removed Utility::print_pre()