open(DEFAULT_TERMINAL, OPENFLAG_READ); // Stdin
open(DEFAULT_TERMINAL, OPENFLAG_WRITE); // Stdout
open(DEFAULT_TERMINAL, OPENFLAG_WRITE); // Stderr
write(1, 13, "Hello, World!");
open(DEFAULT_TERMINAL, OPENFLAG_READ); // Stdin
open(DEFAULT_TERMINAL, OPENFLAG_WRITE); // Stdout
open(DEFAULT_TERMINAL, OPENFLAG_WRITE); // Stderr
write(1, 13, "Hello, World!");