decoding/encoding with restype and argtypes properties