The purpose of the next lines is already described by ```#ifdef TEST_MEM_PETSC```. Do we need the comment?