#include "common.h"

/* 14E530 801FD350 */
u32 VTX_801FD350[] = {
    0xFFE80025,
    0x00000000,
    0x00000000,
    0x000000FF,
    0xFFE80011,
    0x00000000,
    0x000004C0,
    0x000000FF,
    0x00180011,
    0x00000000,
    0x0BC004C0,
    0x000000FF,
    0x00180025,
    0x00000000,
    0x0BC00000,
    0x000000FF
};

/* 14E570 801FD390 */
u32 VTX_801FD390[] = {
    0xFFE80011,
    0x00000000,
    0x00000500,
    0x000000C0,
    0xFFE8FFFD,
    0x00000000,
    0x000009C0,
    0x00000000,
    0x0018FFFD,
    0x00000000,
    0x0BC009C0,
    0x00000000,
    0x00180011,
    0x00000000,
    0x0BC00500,
    0x000000C0
};

/* 14E5B0 801FD3D0 */
Gfx DISPLAY_LIST_801FD3D0[] = {
    gsSPVertex(VTX_801FD350, 4, 0),
    gsSP2Triangles(0, 1, 2, 0, 0, 2, 3, 0),
    gsSPEndDisplayList()
};

/* 14E5C8 801FD3E8 */
Gfx DISPLAY_LIST_801FD3E8[] = {
    gsSPVertex(VTX_801FD390, 4, 0),
    gsSP2Triangles(0, 1, 2, 0, 0, 2, 3, 0),
    gsSPEndDisplayList()
};