n1 n1::n1 n1::p1 args p1 p2 n1::p2 args p2 p1