[<EntryPoint>]
let main args = 0