PROPERTIES_DESTROYED
#ifndef PROPERTIES_DESTROYED
.properties_destroyed = PROPERTIES_DESTROYED,
#ifndef PROPERTIES_DESTROYED
.properties_destroyed = PROPERTIES_DESTROYED,
#ifndef PROPERTIES_DESTROYED
.properties_destroyed = PROPERTIES_DESTROYED,
#ifndef PROPERTIES_DESTROYED
.properties_destroyed = PROPERTIES_DESTROYED,