#include <u.h>
#include <libc.h>

/*
	5a x.s
	5c -FVw main.c
	5l -o main main.5 x.5

*/

int cacheflush(void *from, void *to);

void
usage(void)
{
	fprint(2, "usage: %s  \n", argv0);
	sysfatal("usage");
}

char bla[32];

void
main(int, char *[])
{
	cacheflush(bla, bla + sizeof(bla));
	print("OK, instructions work\n");
}