main INTREPID executable