It would just be a control flow graph of rand(3)