Non-compilable proof-of-concept for C++ default values