One pass over the implementation.