pinRequest now allows for different types of output. pintools echoes are delegated to the script that includes it