viewdefinition: timing library not loaded