* tests/objc/todo/property.h: not yet handled