public Boolean_Template.Boolean Is_Not_Zero(Integer_Template.Integer i) {
   return Std_Boolean_Fac.createBoolean(((Std_Integer_Realiz.Integer) i).val != 0);
 }
 public Boolean_Template.Boolean Less(Integer_Template.Integer i1, Integer_Template.Integer i2) {
   return Std_Boolean_Fac.createBoolean(
       ((Std_Integer_Realiz.Integer) i1).val < ((Std_Integer_Realiz.Integer) i2).val);
 }
 public Boolean_Template.Boolean Greater_Or_Equal(
     Integer_Template.Integer i1, Integer_Template.Integer i2) {
   return Std_Boolean_Fac.createBoolean(
       ((Std_Integer_Realiz.Integer) i1).val >= ((Std_Integer_Realiz.Integer) i2).val);
 }
 public Boolean_Template.Boolean Are_Not_Equal(
     Char_Str_Template.Char_Str s1, Char_Str_Template.Char_Str s2) {
   String js1 = ((Std_Char_Str_Realiz.Char_Str) s1).val;
   String js2 = ((Std_Char_Str_Realiz.Char_Str) s2).val;
   return Std_Boolean_Fac.createBoolean(!js1.equals(js2));
 }