The current workbench.library release (44.2) has a bug
	which corupts the memory list. Please do not use this
	library until the bug is fixed !!!