// version 14:
record SynchronizedInRecord(String a, String b) {
	public void foo() {
		String foo = "bar";
	}
}