extern program_handler static_programs[];
PT_THREAD(program_colorwheel(struct process_t *process));
PT_THREAD(program_random(struct process_t *process));
PT_THREAD(program_replay(struct process_t *process));
extern program_handler static_programs[];
PT_THREAD(program_colorwheel(struct process_t *process));
PT_THREAD(program_random(struct process_t *process));
PT_THREAD(program_replay(struct process_t *process));