file_util_decode_uint32
  
  Description:
  public int file_util_decode_uint32 (
void* @in, 
uint32 dest)
  
 
  
    Retrieve an encoded uint32 from a file.
    Parameters:
    
      
        | dest | 
        
           pointer to a variable to store the value in 
         | 
      
      
        | in | 
        
           file to read from 
         | 
      
    
    Returns:
    
      
        | 
           0 on success, -1 on error. @*dest will contain the decoded value. 
         |