Automated synthesis of efficient binary decoders for retargetable software toolkits