HomeIsabelle/Phabricator

prefer static library_call (again): avoid memory-leak within C code area;