blob: e44aa695a0cf101b0d37c87b104430411059250c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
void
write_int(i32 num)
{
if (num < 0)
{
write(STDERR_FILENO, "-", 1);
num = -num;
}
if (num >= 10)
write_int(num / 10);
char digit = '0' + (num % 10);
write(STDERR_FILENO, &digit, 1);
}
|