seal_single_address
ret = seal_single_address(ptr, size);
ret = seal_single_address(ptr + page_size, page_size);
ret = seal_single_address(ptr, size);
ret = seal_single_address(ptr, size);
ret = seal_single_address(ptr, page_size);
ret = seal_single_address(ptr + page_size, 3 * page_size);
ret = seal_single_address(ptr, page_size * 2 - 1);
ret = seal_single_address(ptr, page_size * 2 + 1);
ret = seal_single_address(ptr, page_size * 4);
ret = seal_single_address(ptr + page_size, page_size * 2);
ret = seal_single_address(ptr, page_size);