procedure main() loadfunc("./iload.so", "loadfuncpp") f := loadfunc("./iexample.so", "iexample") every write( !( f(1,2,3,4) ) ) end