more openmp-type stuff