redef extern class Pointer
	fun foo is abstract
end

class B
	fun baz is abstract
end

extern class A
	fun bar is abstract
end