(250) * Warning 250: - Error while extracting (["LowStar", "ImmutableBuffer"], "igcmalloc_of_list") to KaRaMeL. - Got an exception:Failure("Argument of FStar.Buffer.createL is not a list literal!")

(250) * Warning 250: - Error while extracting (["LowStar", "ImmutableBuffer"], "ialloca_of_list") to KaRaMeL. - Got an exception:Failure("Argument of FStar.Buffer.createL is not a list literal!")

(250) * Warning 250: - Error while extracting (["LowStar", "Monotonic", "Buffer"], "mgcmalloc_of_list_partial") to KaRaMeL. - Got an exception:Failure("Argument of FStar.Buffer.createL is not a list literal!")

(250) * Warning 250: - Error while extracting (["FStar", "List"], "index") to KaRaMeL. - Got an exception:Failure("Internal error: name not found index\n")

(250) * Warning 250: - Error while extracting (["FStar", "List"], "filter_map") to KaRaMeL. - Got an exception:Failure("Internal error: name not found filter_map_acc\n")

(250) * Warning 250: - Error while extracting (["FStar", "Tactics", "NamedView"], "close_term_n") to KaRaMeL. - Got an exception:Failure("Internal error: name not found aux\n")

(242) * Warning 242: - Not extracting __proj__TAC__item__bind to KaRaMeL

(242) * Warning 242: - Not extracting __proj__TAC__item__return to KaRaMeL

(285) * Warning 285 at /__w/FStar/FStar/hacl-star/code/streaming/Hacl.Streaming.Blake2.Params.fst(50,11-50,15): - Module not found: Core