Teach simplify libcalls that it shouldn’t assume that it can turn a printf() call that takes a capability argument into a puts() call that takes a pointer.