Added auto-generated test file.
Added tests auto-generated with testgen.