(288) * Warning 288 at Pulse.Lib.C.Casts.fst(25,4-25,19): - FStar.Int.Cast.uint64_to_int64 is deprecated - with care; in C the result is implementation-defined when not representable - See also /home/runner/work/c2pulse/c2pulse/opt/fstar/stage2/out/lib/fstar/ulib/FStar.Int.Cast.fst(170,4-170,19)

(288) * Warning 288 at Pulse.Lib.C.Casts.fst(25,4-25,19): - FStar.Int.Cast.uint64_to_int64 is deprecated - with care; in C the result is implementation-defined when not representable - See also /home/runner/work/c2pulse/c2pulse/opt/fstar/stage2/out/lib/fstar/ulib/FStar.Int.Cast.fst(170,4-170,19)

(288) * Warning 288 at Pulse.Lib.C.Casts.fst(21,4-21,19): - FStar.Int.Cast.uint32_to_int32 is deprecated - with care; in C the result is implementation-defined when not representable - See also /home/runner/work/c2pulse/c2pulse/opt/fstar/stage2/out/lib/fstar/ulib/FStar.Int.Cast.fst(155,4-155,19)

(288) * Warning 288 at Pulse.Lib.C.Casts.fst(21,4-21,19): - FStar.Int.Cast.uint32_to_int32 is deprecated - with care; in C the result is implementation-defined when not representable - See also /home/runner/work/c2pulse/c2pulse/opt/fstar/stage2/out/lib/fstar/ulib/FStar.Int.Cast.fst(155,4-155,19)

(321) * Warning 321: - Did not expect module Pulse.Main to be already checked. - Found it in an unexpected location: /home/runner/work/c2pulse/c2pulse/opt/pulse/out/lib/pulse/lib/Pulse.Main.fsti.checked instead of _cache/Pulse.Main.fsti.checked

(321) * Warning 321: - Did not expect module Pulse to be already checked. - Found it in an unexpected location: /home/runner/work/c2pulse/c2pulse/opt/pulse/out/lib/pulse/lib/Pulse.fst.checked instead of _cache/Pulse.fst.checked

(328) * Warning 328 at /home/runner/work/c2pulse/c2pulse/opt/fstar/src/extraction/FStarC.Extraction.Krml.fst(330,8-330,19): - Global binding 'FStarC.Extraction.Krml.decl_to_doc' is recursive but not used in its body

(319) * Warning 319 at /home/runner/work/c2pulse/c2pulse/opt/fstar/src/tosyntax/FStarC.ToSyntax.ToSyntax.fst(527,19-527,57): - Effectful argument let _ = FStarC.Ident.string_of_lid _max_lid in _ = "max" (FStarC.Effect.ALL) to erased function assert, consider let binding it

(319) * Warning 319 at /home/runner/work/c2pulse/c2pulse/opt/fstar/src/tosyntax/FStarC.ToSyntax.ToSyntax.fst(509,13-509,48): - Effectful argument let _ = FStarC.Ident.string_of_id _op_plus in _ = "+" (FStarC.Effect.ALL) to erased function assert, consider let binding it

(328) * Warning 328 at /home/runner/work/c2pulse/c2pulse/opt/fstar/src/syntax/FStarC.Syntax.Resugar.fst(327,8-327,26): - Global binding 'FStarC.Syntax.Resugar.resugar_term_base'' is recursive but not used in its body

(328) * Warning 328 at /home/runner/work/c2pulse/c2pulse/opt/fstar/src/parser/FStarC.Parser.ToDocument.fst(1994,4-1994,12): - Global binding 'FStarC.Parser.ToDocument.p_tmNoEq' is recursive but not used in its body

(328) * Warning 328 at /home/runner/work/c2pulse/c2pulse/opt/fstar/src/parser/FStarC.Parser.ToDocument.fst(1730,4-1730,21): - Global binding 'FStarC.Parser.ToDocument.p_maybeFocusArrow' is recursive but not used in its body

(328) * Warning 328 at /home/runner/work/c2pulse/c2pulse/opt/fstar/src/parser/FStarC.Parser.ToDocument.fst(1095,4-1095,24): - Global binding 'FStarC.Parser.ToDocument.p_disjunctivePattern' is recursive but not used in its body

(328) * Warning 328 at /home/runner/work/c2pulse/c2pulse/opt/fstar/src/parser/FStarC.Parser.ToDocument.fst(756,4-756,13): - Global binding 'FStarC.Parser.ToDocument.p_justSig' is recursive but not used in its body

(328) * Warning 328 at /home/runner/work/c2pulse/c2pulse/opt/fstar/src/parser/FStarC.Parser.ToDocument.fst(735,8-735,14): - Global binding 'FStarC.Parser.ToDocument.p_decl' is recursive but not used in its body