RandomSymbol generation pseudocode