test for procedure gen