generic procedure A renames B