void halt(void){
	power_off();
}

bool create(const char *file, unsigned initial_size);

bool remove(const char *file);

pid_t fork(const char *thread_name);