extensions to export generation of random system to C and Python