Symbol: CONTRACT1_LIBRARY