# bug #4353
import random
echo random[int](low(int) .. high(int))