#ifndef TDKPIN_MESSAGE_PUMP_H
#define TDKPIN_MESSAGE_PUMP_H

#include "tdkpin_window_messages.h"

void tdkpin_drain_messages_except_input(void); /* 1008:00e2 */
void tdkpin_close_variant_a(Win16FarPtr window); /* 1000:5ee6 */
uint16_t tdkpin_conditional_close_variant_a(
    Win16FarPtr window,
    ObjectWindowsMessage *message); /* 1000:5efc */
void tdkpin_close_variant_b(Win16FarPtr window); /* 1000:6202 */
uint16_t tdkpin_conditional_close_variant_b(
    Win16FarPtr window,
    ObjectWindowsMessage *message); /* 1000:6218 */

#endif