pass Agda into ExecuteCommand