(load-extension "casts.so")

(define x (new-B))

(A-hello x)				

(exit 0)