debugging symbols in libmementos_fram.a