Null stdio streams if not piped

[Aidan63]

If the user specifies that the stdio streams should be, say, ignored, are the stdin, stdout, and stderr properties expected to return null values or throw some sort of exception? I'm guessing throw since they're not null annotated. But the base process class provides all streams as an array with the first items being the stdio streams, so should they be null here?