strtok_r SimProcedure is broken

[ltfish]

trafficstars

Line 46:

self.state.memory.store(where.ret_expr, write_content, size=write_length, strategy=["symbolic_nonzero", "any"], limit=str_strlen.max_null_index+1)

strategy and limit no longer exist. This needs fix.