void initbootenv (void);
void printenv (void);
char *getenv (const char *name);
void setenv (const char *name, const char *value);
void unsetenv (const char *name);