Prog DSDL with prog natal