push/pop optimization; corrected LICENSE (from LGPL to GPL); header identifier updated