fun main: void = do
    @writse(); -- Unknown intrinsic
end;