added task-switch benchmark, ported headers