#include <unistd.h>

int main(int argc, char *argv[]) {
	/* Unicode 1f596 as UTF-8 */
	write(1, "\xf0\x9f\x96\x96\n", 5);
}