halcat0x15a/typelogic not found