long	xcmix(long v1, long v2);
long	cmix(long v1, long v2);
float	b_sqrt(float x);
int32	read32(int ref);
void	write32(int ref, int32 v);
float	readf(int ref);
void	writef(int ref, float v);
void	NotifyMemory(char *s1, char *s2);
