A Case Study in DSL Re-targetability