Title: From prototype to efficient implementation: a case study using SETL and C