public void Become(
	Receive receive
)

abstract Become : 
        receive : Receive -> unit 
override Become : 
        receive : Receive -> unit