The task is to demonstrate how to switch video display modes within the language. A brief description of the supported video modes would be useful.

procedure main(A)
    mode := A[1]
    if \mode then system("xrandr -s " || \mode || " >/dev/null")
    else system("xrandr -q")    # Display available modes
end