some constraints can target an executable's return value as well as its array of parameters 

saves an *of* and genetive is always good :-)