#include <err.h>
#include <stdio.h>
#include <stdlib.h>

#define SLABSIZE 4096

int
main(int argc, char *argv[])
{
	int value = 41;

	void *slab = malloc(SLABSIZE);
	if (!slab) err(1, "malloc");

	printf("%d\n", value);
}