Simple OpenFile effect defined.
Multiple operations with fixed result type.