Refactor DIVC
Introduce pragma marks