#include "libultra_internal.h"
#include "osAi.h"
#include <ultra64/hardware.h>

u32 osAiGetLength() {
    return HW_REG(AI_LEN_REG, u32);
}