hpux11-random
