type kernel_version = string;;
val task_struct_known : kernel_version -> bool;;
val task_struct_size : kernel_version -> int;;
type kernel_version = string;;
val task_struct_known : kernel_version -> bool;;
val task_struct_size : kernel_version -> int;;