typed InitFlag patterns