added add instructions
this works, printing out 'unpoisoned 0x1', then 'poisoned 0x1', which is the basic purpose of this test case