#ifndef __EXEC_H
#define __EXEC_H


void *execProg(sched_task_t*);


#endif