#ifndef DATA_800E8700_H
#define DATA_800E8700_H

#include <ultra64.h>

extern Vtx D_800E8700[];
extern Vtx D_800E8740[];
extern Vtx D_800E8780[];
extern Vtx D_800E87C0[];
extern Vtx D_800E8800[];
extern Vtx D_800E8840[];
extern Vtx D_800E8880[];
extern Vtx D_800E88C0[];
extern Vtx D_800E8900[][4];
extern Vtx D_800E8A00[];
extern Vtx D_800E8A40[];
extern Vtx D_800E8A80[];
extern Vtx D_800E8AC0[];
extern Vtx D_800E8B00[];
extern Vtx D_800E8B40[];
extern Vtx D_800E8B80[];
extern Vtx D_800E8BC0[];
extern Vtx D_800E8C00[];
extern Vtx D_800E8C40[];
extern Vtx D_800E8CC0[];
extern Gfx D_800E8D40[];
extern Gfx D_800E8DD0[];

#endif
