numbering testbenches