/* FIRM was designed for oo languages where all methods belong to a class.
* For imperative languages like C we view a file or compilation unit as
* a large class containing all functions as methods in this file.
* This class is automatically generated and can be obtained by get_glob_type().
*/
/* FIRM was designed for oo languages where all methods belong to a class.
* For imperative languages like C we view a file or compilation unit as
* a large class containing all functions as methods in this file.
* This class is automatically generated and can be obtained by get_glob_type().
*/