PLA-1542 Alas, this code is not used anywhere, monsiour!