let
const_nul c = const_sign c =
Some
0