fun main: void = do
    if true then
        @write("True")
    else
        @write("False")
    end;
end;