Experimental implementation of FAT16 (and eventually FAT32) in OCaml