dolfin/src/utils/gid
