// to be defined in stable version