let
create_universal (id: int) : var =
sanity_check id;
id