// SPDX-License-Identifier: WTFPL
// cc -m32 syscall-c.c -o syscall-c

#include <sys/syscall.h>
#include <unistd.h>

int main(int argc, char *argv[])
{
	static char string[] = "Hello, world!\n";

	syscall(SYS_write, STDOUT_FILENO, string, sizeof(string) - 1);

	return 0;
}