let
create_parametric (id: int) : var =
sanity_check id;
id
lor
parameter_bit