default Order dec

$include <prelude.sail>

val main : unit -> unit

function main() = ()