#eval to_string $ ``({pos . line := has_zero.zero, col := 1}).to_raw_fmt
