main.c
#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 );
( a );
free( b );
free
return 0;
}