#ifndef TDKPIN_SYSTEM_TIMER_H
#define TDKPIN_SYSTEM_TIMER_H

#include "tdkpin_borland_objects.h"
#include "tdkpin_stack.h"

Win16FarPtr tdkpin_system_timer_construct(
    Win16FarPtr object,
    uint16_t vmt,
    uint8_t one_shot,
    uint16_t resolution_ms,
    uint16_t delay_ms,
    HWND16 recipient); /* 1008:28a3 */
void tdkpin_system_timer_destruct(
    Win16FarPtr object, uint16_t vmt); /* 1008:2906 */
void tdkpin_system_timer_stop(Win16FarPtr object); /* 1008:2932 */
uint16_t tdkpin_system_timer_start(
    Win16FarPtr object,
    uint8_t one_shot,
    uint16_t resolution_ms,
    uint16_t delay_ms); /* 1008:295c */

#endif