#ifndef TDKPIN_RANDOM_H
#define TDKPIN_RANDOM_H

#include "tdkpin_segmented.h"
#include "tdkpin_real48.h"

extern uint32_t g_borland_random_seed; /* 1028:0720/0722 */

uint32_t borland_next_random(void);                /* 1020:1501 */
uint16_t borland_random_below(uint16_t upper_bound); /* 1020:14a4 */
BorlandReal48 borland_random_real48_registers(void); /* 1020:14c1 */
int8_t borland_random_exponent(void);              /* 1020:14c1 */
double borland_random_unit_interval(void);          /* 1020:14de */
void borland_seed_random_from_dos_time(void);      /* 1020:1539 */

#endif