There's no special "no work" detection needed. a.out is calling the write function for the null device, which just returns without doing anything. No pipes are

There's no special "no work" detection needed. a.out is calling the write function for the null device, which just returns without doing anything. No pipes are involved.