An experiment in parallizing the binary conversion of the subtype tests