IC.cup and Library.cup