val solve : string -> unit -> int
(** [solve input ()] is the solution for the first part of the third day of advent of code 2025 for [input].
    The solution for an empty input is 0.
    Requires: [input] to be a string. *)