DEQUEL_GIT_MARKER_OK