#include <stdlib.h>

int main(void) {
    (void) malloc(42);
    return 0;
}