pub type CorrectionPosition = i32;