intp x lstp