static const char version[] = "1.2";
static const char uname[] = "rpn v1.2, (c) 2015 <louis@rubet.fr>";
static const char prompt[] = "rpn> ";