Envoyer par SMS: Writing TSRs Through C