Suppress GCC unused label warning