Title: Magic Lib/E : A History