#ifndef TDKPIN_FLIPPERS_H
#define TDKPIN_FLIPPERS_H

#include "tdkpin_segmented.h"

void tdkpin_update_flippers(
    uint16_t caller_bp); /* 1000:99f0 */

/* Verified dependency seams whose ABI bodies are reconstructed separately. */
void tdkpin_move_flipper_collision_geometry(
    uint16_t caller_bp,
    int32_t delta,
    uint16_t flipper,
    uint16_t mode); /* 1000:7ed9 */
void tdkpin_move_flipper_bitmap_geometry_for_receiver(
    Win16FarPtr receiver,
    int32_t delta,
    uint16_t flipper); /* semantic core of 1000:8b0d */
void tdkpin_move_flipper_bitmap_geometry(
    uint16_t parent_bp,
    int32_t delta,
    uint8_t flipper); /* 1000:8b0d */

#endif