[c-prog] fgets() behaviour after EOF

[johnmatthews2000]

If fgets() on a FILE* returns 0 indicating end-of-file, is it safe to call it 
again? That is, is it guaranteed that the function will return 0 again with no 
undesirable side effects?

This is in C, if it makes a difference.