#include <stdio.h>#include <OS.h>int main(int argc, char **argv){area_id area, cloned;char *ptr, *p;area_info ai;if (argc < 2) {printf("catarea areaid\n");return 1;}area = atoi(argv[1]);cloned = clone_area("cloned for catarea", (void **)&ptr, B_ANY_ADDRESS, B_READ_AREA, area);get_area_info(cloned, &ai);//fprintf(stderr, "copy of bios: size=0x%08lx\n", ai.size);write(1, ptr, ai.size);delete_area(cloned);return 0;}