public class AAA : Object {
}

public class BBB : AAA {
}

void main () {
	AAA real_a = new AAA ();
	stdout.printf ("real_a = %s\n", real_a.get_type ().name ());
	BBB real_b = new BBB ();
	stdout.printf ("real_b = %s\n", real_b.get_type ().name ());

	var a_new = Object.new (real_a.get_type ());
	stdout.printf ("a_new = %s\n", a_new.get_type ().name ());
	var b_new = Object.new (real_b.get_type ());
	stdout.printf ("b_new = %s\n", b_new.get_type ().name ());
}
