Demo of cosy-lang