revng_undefined_
init_
Current `init_` prefix used to set the default values of SCVs is very common in typical code, hence it would cause a lot of collisions.
init_local_sp
_