From prototype to efficient implementation: a case study using SETL and C | lit.salon