Fixup: Assume right type in int_deinit()