[mod note: retimed to 13.003 due to a change in the timing rules]