#ifndef USER_MAIN_H
#  define USER_MAIN_H

int main_user(int argc, char **argv, char *envp[]);

#endif /* ifndef USER_MAIN_H */