See [stmt.label].