set_uint64
        
        Description:
        public void set_uint64 (
string group_name, 
string key, 
uint64 value)
        
 
        
          Associates a new integer value with key under group_name.
           If key cannot be found then it is created.
          Parameters:
          
            
              | this | 
              
                 a KeyFile 
               | 
            
            
              | group_name | 
              
                 a group name 
               | 
            
            
              | key | 
              
                 a key 
               | 
            
            
              | value | 
              
                 an integer value 
               |