(* 10 lines 3 code 4 comments 3 blanks *)

module Hello

(* multi
   line
   comment *)
open FStar.IO

let main = print_string "Hello, F*!\n" (* uncounted comment *)