procedure main()
   L := [1,2,3]  # a list
   x := ?L       # random element
end