/lib/test_free_pages.mod.c