added proc declaration