definition module ReadLibrary;

// mac dummy; should be filled in later