write_label
(void) write_label();
int write_label(void);
(void) write_label();
(void) write_label();
if (status = write_label())
if (status = write_label())
if (write_label()) {
if (write_label()) {
if (write_label()) {
if (status = write_label())
if (write_label()) {
if (write_label()) {
if (write_label()) {
(void) write_label();
if (write_label()) {
if (write_label()) {