Add content of return value for specified function

[S1eGa]

Suppose, we have a function

int *foo() {
  int *x = (int *x) malloc(sizeof(int));
  *x = 10;
  return x;
}

And we want to check that value under returned pointer is 5.
Se need to provide such information in .ktest file.