public void Write_Line(Integer_Template.Integer i) {
TextIO.putln(((Std_Integer_Realiz.Integer) i).val);
}
public void Write_Line(Char_Str_Template.Char_Str s) {
TextIO.putln(((Std_Char_Str_Realiz.Char_Str) s).val);
}
public void Read(Integer_Template.Integer i) {
((Std_Integer_Realiz.Integer) i).val = TextIO.getInt();
}
public void Read(Char_Str_Template.Char_Str s) {
((Std_Char_Str_Realiz.Char_Str) s).val = TextIO.getln();
}