IO sink and FileOutputStream taint