.
casumo code zlhs