merged implementation bodies with the procedure declaration