DJB's redo implementation in Go