/* General flags. */