100644 blob 8da004e25628ab5a79455034657e51f1379fb17b	debug-cmd.h
100644 blob 5f75caf7b4ba5ff2fa18e29b743144b539c393dd	spec.h
100644 blob ddbceb39ad156b3639bf1d9d765024334f6b2d21	umc.h
100644 blob 1a5c2cc2b0088f30fd75d393bc2e1ed7de88d7ec	whci.h