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