Random Number Generator - Bcpl Typing CST Test