g7flags-1140

Various flags