#include "os.h"

static const unsigned nav_diags_addrs[]			= {
	0x10207164,0x1020785C, // classic 3.1
	0x10206BD4,0x10207330, // CX 3.1
	0x102033F4,0x10203B50, // CM 3.1
	}; // ns, cas, cx, cxcas, cm, cmcas
#define nav_diags SYSCALL_CUSTOM(nav_diags_addrs ,void )

int main()
{	nav_diags();
	return 0;
}