fun main: int = do
    @time()
    |> @write(_);
end;