Wed, 07 Nov 2012 20:07:11 +0000 Mario de Sousa Make search_base_type_c a singleton!