Evaluated proc randy {} {. [choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1][choose 0 1]}