remove :def restriction on "casa", assuming it was only there for debug purposes.