80 /* Miscellaneous flags */