> """
> stat("/net/prodigy", {st_mode=S_IFDIR|0755, st_size=4096, ...}) = 0
> mkdir("/net/prodigy/tmp", 0777)         = -1 EACCES (Permission denied)
> """
> 
> As you can see, a stat() is already done on /net/prodigy.

To be fair, that shouldn’t trigger a mount. Otherwise a `ls -l` on /net
would mount all volumes.

> Event if it wasn't done, calling mkdir() ought to trigger the mount.

I’m not sure if/where the behavior is defined – let’s what the Linux
people say.