12345678910 | deftype BP:String
extern bl_string_replace(text:String, pat:BP, replacement:String):String
def escape(str:String):BP
return ("\"$(str | bl_string_replace(%BP{`",\}, '\@0'))\""):BP
def replace(str:String, pat:String, replacement:String):String
return str|bl_string_replace(%BP[$pat], replacement)
|