empty `$constructor` and `$destructor`, you can remove them