func1: pointer_type ptr1, pointer_type ptr2, 
func2: pointer_type ptr1, pointer_type ptr2, 
func3: pointer_type ptr1, pointer_type ptr2, 
func4: pointer_type ptr1, pointer_type ptr2, 
func5: pointer_type ptr1, pointer_type ptr2, 
func6: pointer_type ptr1, pointer_type ptr2, 
func7: pointer_type ptr1, pointer_type ptr2, 
func8: pointer_type ptr1, pointer_type ptr2, 
func9: pointer_type ptr1, pointer_type ptr2, 
func10: pointer_type ptr1, pointer_type ptr2, 
func11: pointer_type ptr1, pointer_type ptr2, 
func12: pointer_type ptr1, pointer_type ptr2,