public void Read(Char_Str_Template.Char_Str s) { ((Std_Char_Str_Realiz.Char_Str) s).val = TextIO.getln(); }