void _vide_empty_symbol_for_osx() {}