/* flags set internally only: */