Stdio.File: Support UNDEFINED as the first argument to read().