OSEK: flag tests