9472 /* misc flags. */