c backend debugging options