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