The INTEGER_STORE example deals with the Frame problem: The purpose of the example is to verify that integer_stores_assign in INTEGER_STORE_CLIENT does what it is supposed to do.