type tests ... OK
flag tests ... OK
