include "primitives.alh" Boolean function main(model : Element): log("Test") Integer a a = 1 return True!