test_type_abstraction.inria 24 Bytes