int sys_open(const char *filename, const int mode, const int mask);