100644 blob 8da004e25628ab5a79455034657e51f1379fb17b	debug-cmd.h
100644 blob b52e44f1bd33039b6317e6702212138275db2c45	spec.h
100644 blob 4b4fc0f4385578548b70e1bb841599a387b454d9	umc.h
100644 blob 915ec23042d4b7055084c3a1af3e94d25be8e115	whci.h