(See above for the reason they're still in C++.)