add bounded version of test5