Ошибка с кодом C при компиляции с ассемблерным кодом

В настоящее время я использую книгу, чтобы немного научиться сборке. Часть книги, в которой я работаю, посвящена malloc и бесплатности. Чтобы лучше понять это, в книге представлен ассемблерный код, создающий простую и бесплатную реализацию malloc, которая затем используется другой небольшой программой на языке C:

#include<stdio.h>

void *allocate(int);
void deallocate(void *);

int main() {

    char *a1 = allocate(500);
    char *a2 = allocate(1000);
    char *a3 = allocate(100);

    fprintf(stdout, "Allocations: %d, %d, %d\n", a1, a2, a3);

    deallocate(a1);

    char *a4 = allocate(1000);
    char *a5 = allocate(250);
    char *a6 = allocate(250);
    fprintf(stdout, "Allocations: %d, %d, %d, %d, %d, %d\n", a1, a2, a3, a4, a5, a6);

    fscanf(stdin, "%s", a5);
    fprintf(stdout, "%s\n", a5);

}

Я получаю ассемблерный код, но после их компиляции в терминале Linux с помощью:

gcc -static allocate.s usealloc.c -o usealloc

Я получаю несколько таких ошибок:

usealloc.c:12:40: warning: format ‘%d’ expects argument of type ‘int’, but argument 3 has type ‘char *’ [-Wformat=]
   12 |         fprintf(stdout, "Allocations: %d, %d, %d\n", a1, a2, a3);
      |                                       ~^             ~~
      |                                        |             |
      |                                        int           char *
      |                                       %s

Я предполагаю, что %d ожидает аргумент int, который противоречит объявлению a1, a2 и a3 char. Я еще не совсем знаком с C, но решил, что в опубликованной книге не будет такой простой проблемы, поэтому любая помощь приветствуется!