import pickle
import marshal
import base64

pickle.dumps(obj)  # $ MISSING: f-:encodeInput=obj f-:encodeOutput=Attribute() f-:encodeFormat=pickle f-:encodeMayExecuteInput
marshal.dumps(obj)  # $ MISSING: f-:encodeInput=obj f-:encodeOutput=Attribute() f-:encodeFormat=marshal f-:encodeMayExecuteInput

# TODO: These tests should be merged with python/ql/test/experimental/dataflow/tainttracking/defaultAdditionalTaintStep/test_string.py
base64.b64encode(bs)  # $ encodeInput=bs encodeOutput=Attribute() encodeFormat=Base64
base64.standard_b64encode(bs)  # $ encodeInput=bs encodeOutput=Attribute() encodeFormat=Base64
base64.urlsafe_b64encode(bs)  # $ encodeInput=bs encodeOutput=Attribute() encodeFormat=Base64
base64.b32encode(bs)  # $ encodeInput=bs encodeOutput=Attribute() encodeFormat=Base32
base64.b16encode(bs)  # $ encodeInput=bs encodeOutput=Attribute() encodeFormat=Base16
# deprecated since Python 3.1, but still works
base64.encodestring(bs)  # $ encodeInput=bs encodeOutput=Attribute() encodeFormat=Base64

@@ -61,35 +61,32 @@
 )  # $ MISSING: 
-f-:
 encodeInput=obj 
@@ -77,35 +77,32 @@
 encodeInput=obj 
-f-:
 encodeOutput=Att
@@ -102,35 +102,32 @@
 put=Attribute() 
-f-:
 encodeFormat=pic
@@ -130,19 +130,16 @@
 =pickle 
-f-:
 encodeMa
@@ -185,19 +185,16 @@
 ISSING: 
-f-:
 encodeIn
@@ -201,19 +201,16 @@
 put=obj 
-f-:
 encodeOu
@@ -226,19 +226,16 @@
 ibute() 
-f-:
 encodeFo
@@ -251,11 +251,8 @@
 hal 
-f-:
 enco

Remove straggling f-: annotations