int main() {
area_id my_area;
my_area = create_area("my area", /* name you give to the area */
      (void *)&area_addr, /* returns the starting addr */
      B_ANY_ADDRESS, /* area can start anywhere */
      B_PAGE_SIZE*10, /* size in bytes */
      B_NO_LOCK, /* Lock in RAM? No. */
      B_READ_AREA | B_WRITE_AREA); /* permissions */

delete_area(find_area("my area"));
return 0;
}