type ('a, 'b) task_struct =
  { task_struct_shape : 'a; task_struct_content : 'b
  };;
type task_struct_shape_fields_2 =
  { tasks'next : Virt_mem_mmap.addr; tasks'prev : Virt_mem_mmap.addr
  };;
type task_struct_shape_fields_1 =
  { run_list'next : Virt_mem_mmap.addr; run_list'prev : Virt_mem_mmap.addr;
    tasks'next : Virt_mem_mmap.addr; tasks'prev : Virt_mem_mmap.addr
  };;
type task_struct_content_fields_3 =
  { comm : string; normal_prio : int64; pid : int64; prio : int64;
    state : int64; static_prio : int64
  };;
type ('a, 'b) net_device = { net_device_shape : 'a; net_device_content : 'b };;
type net_device_shape_fields_12 =
  { ip6_ptr : Virt_mem_mmap.addr; ip_ptr : Virt_mem_mmap.addr;
    next : Virt_mem_mmap.addr
  };;
type net_device_shape_fields_13 =
  { dev_list'next : Virt_mem_mmap.addr; dev_list'prev : Virt_mem_mmap.addr;
    ip6_ptr : Virt_mem_mmap.addr; ip_ptr : Virt_mem_mmap.addr
  };;
type net_device_content_fields_14 =
  { addr_len : int64; flags : int64; mtu : int64; name : string;
    operstate : int64; perm_addr : string
  };;
type ('a, 'b) net = { net_shape : 'a; net_content : 'b };;
type net_shape_fields_22 =
  { dev_base_head'next : Virt_mem_mmap.addr;
    dev_base_head'prev : Virt_mem_mmap.addr
  };;
type net_content_fields_23 = unit;;
type ('a, 'b) in_device = { in_device_shape : 'a; in_device_content : 'b };;
type in_device_shape_fields_28 = { ifa_list : Virt_mem_mmap.addr };;
type in_device_content_fields_29 = unit;;
type ('a, 'b) inet6_dev = { inet6_dev_shape : 'a; inet6_dev_content : 'b };;
type inet6_dev_shape_fields_34 = { addr_list : Virt_mem_mmap.addr };;
type inet6_dev_content_fields_35 = unit;;
type ('a, 'b) in_ifaddr = { in_ifaddr_shape : 'a; in_ifaddr_content : 'b };;
type in_ifaddr_shape_fields_40 = { ifa_next : Virt_mem_mmap.addr };;
type in_ifaddr_content_fields_41 =
  { ifa_address : int64; ifa_broadcast : int64; ifa_local : int64;
    ifa_mask : int64
  };;
type ('a, 'b) inet6_ifaddr =
  { inet6_ifaddr_shape : 'a; inet6_ifaddr_content : 'b
  };;
type inet6_ifaddr_shape_fields_46 = { lst_next : Virt_mem_mmap.addr };;
type inet6_ifaddr_content_fields_47 = { prefix_len : int64 };;