call proc<x> in main