I have some question about stdio of linux system. I know that fd 0, fd 1, fd 2 each refer stdin, stdout, stderr. Does stdin, stdout, stderr means open file descriptor?