Final answer:
The command to write an int value 'iVal' to a correctly declared output stream in C++ is 'write.write(reinterpret_cast(&iVal), sizeof(iVal));'.
Step-by-step explanation:
The command that would write an int value 'iVal' to a correctly declared output stream identified as write in C++ is:
write.write(reinterpret_cast(&iVal), sizeof(iVal));
This command uses the write function from the ofstream class in C++. It takes the address of the iVal variable and casts it to a char* type pointer. The sizeof function is used to determine the size of the iVal variable in bytes.