7552 /* misc flags */