mod note: retimed to 20.717 (rounded from 20.721, timing start: 3.720, timing end: 24.441)