std.char("xxx")