type Student record {
    int score = 0;
};

type Person record {
    int age = 0;
    Student std;
};

function increment(Person p) {
  lock {
    p.std.score = p.std.score + 1;
  }
}