#!/bin/bash

exec go run tool/renumber.go