#include <alef.h>

void
main(void)
{
	byte c;
	byte *p;
	int a;

	p = p + a;

	c = 1;
	print("hello world %c %d\n", 65, 1234);
}