/* There is an interesting interaction that occurs if the 'execute'
/* command below. What happens is that an error message is output
/* There is an interesting interaction that occurs if the 'execute'
/* command below. What happens is that an error message is output