finalized type test