DuettoBackend: Initial support for nonconstant memset