7.5cm
7.5cm where label is a new label (for throw, see section 6.2.9)
7.5cm where label and label are new labels
7.5cm (for throw-nil, see section 6.2.9)
