type ('a, 'b) task_struct;;
type ('a, 'b) net_device;;
type ('a, 'b) net;;
type ('a, 'b) in_device;;
type ('a, 'b) inet6_dev;;
type ('a, 'b) in_ifaddr;;
type ('a, 'b) inet6_ifaddr;;