generic procedure A renames B;
