check 17 test with invalid printing of typedefs fixed