/* flag values: */