let onlyNoOffsetsAreDefs: bool ref = ref false