bedre_write_int.c

void write_int(int n) {
	// Length of INT_MIN as a decimal number is 11 (-2147483647)
	char buf[11];
	int neg = n < 0;
	n *= 1 - 2*neg;
	int pos = 11;
	do {
		buf[--pos] = '0' + (n % 10);
		n /= 10;
	} while (n);
	if (neg) {
		buf[--pos] = '-';
	}
	syscall_write(1, &buf[pos], 11-pos);
}