[marvy]

Also useful in the other direction: your code works now, but in C++17 that's a keyword so you'll have to rename it.