For my persosnal test and benchmark for the Whiley project