FAILED unresolved symbol should_fail_alloc_page