ISSTA Wasmi Input files