Memcheck's data structure model and relational representation (a ...