#include <sys/sysctl.h>
#include <stdio.h>

int
main(void)
{
	int mib[2];
	size_t totalram;
	size_t len;

	mib[0] = CTL_HW;
	mib[1] = HW_USERMEM64;
	len = sizeof(totalram);
	if (sysctl(mib, 2, &totalram, &len, NULL, 0))
		return 1;

	printf("%zd\n", totalram);
	return 0;
}