#ifndef BOOT_MAIN_H
#define BOOT_MAIN_H

#include "ultra64.h"

void bootproc(void);

#endif