list-chars(['W', 'A', 'V', 'E', '🌊']);
list-chars(['\\', '\'', '\"', '\t', '\n', '\r']);
list-chars(['\u{0}', '\u{000000}']);
list-chars(['x', '\u{78}', '\u{000078}']);
list-chars(['☃', '\u{2603}', '\u{002603}']);
list-chars(['"', '\"', '\u{22}']);