#include <stdlib.h>

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