#define _POSIX_C_SOURCE 200809L

#include <stdlib.h>     /* malloc */
#include <stdio.h>      /* dprintf */

int main( void )
{
    void *b = malloc( 1024 );
    void *a = malloc( 400llu << 32llu );
    free( a );
    free( b );

    return 0;
}