added most definitions in cool.cup
before first test