Options for managing stomach virus discomfort