Describir: Customizable embedded processors