Rename prova.cc to stack.cc