malloc не терпит неудачу в Keil C

Как я могу проверить, был ли сбой malloc() в Keil C?

unsigned char xdata malloc_mempool [0x100];
void display()
{
    unsigned char xdata *ptr;
    int a;
    init_mempool (&malloc_mempool, sizeof(malloc_mempool));

    ptr = malloc(9000000);
    if(ptr != 0)
    {
        a = 7;
        free(ptr);
    } else {
        a = 9;
    }
}

Как указано в http://www.keil.com/support/man/docs/c51/c51_malloc.htm malloc вернет нулевой указатель, если памяти недостаточно для удовлетворения запроса на выделение. Очевидно, что в 8051 памяти не так много. Но результат a всегда равен 7.