*.strom linguist-language=fstar
