#ifndef C_722880_H
#define C_722880_H

#include "ultra64.h"
#include "lb_rtc.h"

void func_800FEBE0_jp(OSMesgQueue*, lbRTC_time_c*);

#endif