Envoyer par SMS: Dynamický prekladač zápisu špecifikácie z HSSL jazyka