expanded class B

feature -- Access

	 a: A

end