spec: signal_constant