dolfin/src/kernel/log/dolfin
