test erlang:flush/2 with empty options has flush=false by default which is the opposite of what the doc says