displayALL in lib.l redefined, bug fixes in main.l