contains some symbols used by library functions that can be redefined by the user. Since it is not allowed to change a library symbol, the advanced user may move here the definitions it would like to change in its own code

PLaSM is Free Software and may be distributed under GNU LGPL