shadow annotation is put on value stack when created