implementation module ReadLibrary; // mac dummy; should be filled in later