frozen class
	P1

feature

	from_p1 is
		do
			print ("From P1%N")
		end

end