Changed example to make a ccall into the executable