step for dug construction
undefined functions return Val.top