various small python scripts for generating various test inputs