NPTL/Marcel benchmark