Testing function toString from progexec library