WCET assignment 3: all required files + protocol