the transpiler has to follow a simple pattern of
the files it creates to make viable c source.
here we check that the simplest possible file has
all of the expected parts needed.

<<<

main = fun () {
}

>>>