Update boot.red

Added random definition here