#ifndef C_7139E0_H
#define C_7139E0_H

#include "ultra64.h"

// void func_800EFD40_jp();
// void func_800EFDB4_jp();
// void func_800EFDF0_jp();
// void func_800EFE60_jp();

#endif