#include "platform_clock.h"
#include "util/typedefs.h"

f64 ORCA_IMPORT(oc_clock_time)(oc_clock_kind clock);