console: specify and recognize encoding for printed-out values