use a labeled constant