just-a-tets/67.c

int write(int fd, char *buf, long len);

int main() {
	char six_seven = 67;
	write(1, &six_seven, 1);
	return 0;
}