Initial prototype with implicit destructors