#include "pagingtestlib.h"

int main() {
    setup();
    enable_dump = 1;
    test_allocation_no_fork(4096, "4K", "1K", 512, 1024, 1024+512,512, 1);
    finish();
}