// Record bersifat final: tidak bisa diwarisi class lain.
record Titik(int x, int y) {
}

class Segmen extends Titik {
    Segmen(int x, int y) {
        super(x, y);
    }
}

public class PewarisRecord {
    public static void main(String[] args) {
        System.out.println("baris ini tidak pernah tercetak");
    }
}