added omp for example; typechecks but doesn't compile