(redef sref (x v k) (if (isa x 'my-table) (let y (rep x) (annotate 'my-table (= y.k (upcase v)))) (old x v k)))
(defm sref ((t x my-table) v k) (let y (rep x) (annotate 'my-table (= y.k (upcase v)))))