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


int main(int argc, char **argv){
	uint32_t max_ptes_none;
	uint32_t max_ptes_swap;
	uint32_t num1;
	double tmp1;

	for(num1=0; num1<512; num1+=8){
		//calculate percentage waste at each point
		//tmp1 = num1;
		//tmp1 /= 512*100;
		tmp1 = num1;
		tmp1 *= 100;
		tmp1 /= 512;
		printf("max_ptes: %u waste: %lf\n", num1, tmp1);
	}

	return 0;
}