$ cat M.fst
module M
open FStar.UInt8

$ fstar.exe --cmi --dep full M.fst
...
M.krml: M.fst.checked \
        M.fst.checked \
...
M.cmx: 
...
        FStar_FunctionalExtensionality.cmx\
        FStar_FunctionalExtensionality.cmx\