Title: Index futures, program trading and stock market procedures