convert to covlang.