#let pad_zeros(n, width) = {
  let s = str(n)
  if s.len() < width {
    return "0" * (width - s.len()) + s
  }
  return s
}