signal backannotation: verified for GCD