Whether the same file can be open multiple times (§4.9.3)
Opening a file that is already open is not permitted.