text: // Copyright (c) Microsoft Corporation. All rights reserved.
  // Licensed under the MIT License.
  
  #ifndef _PROPERTIES_ARGS_H
  #define _PROPERTIES_ARGS_H
  
  #include <openenclave/bits/properties.h>
  
  typedef struct _args
  {
      int ret;
  } Args;
  
  #endif /* _PROPERTIES_ARGS_H */
  