1rtl_random.createPool.createPool_001 2rtl_random.destroyPool.destroyPool_001 3rtl_random.addBytes.addBytes_001 4rtl_random.getBytes.getBytes_001 5 6