Miscellaneous source files for the main Typthon shared library