Tcl interface to arc4random(3)