type 'a node =
{
mutable next: 'a node;
value: 'a;
}
;;