type-case.out 0 B