   /// This attribute tells the code generator that the code generated for this
   /// function needs to follow certain conventions that make it possible for a
   /// runtime function to patch over it later.
-  case patchable_function = "patchable-function"
+  case patchableFunction = "patchable-function"
   /// This attribute indicates that the function will trigger a guard region in
   /// the end of the stack.
-  case probe_stack = "probe-stack"
+  case probeStack = "probe-stack"
   /// This attribute indicates that the function computes its result (or
   /// decides to unwind an exception) based strictly on its arguments, without
   /// dereferencing any pointer arguments or otherwise accessing any mutable

  /// arguments, with arbitrary offsets.
  case argmemonly
  /// This attribute indicates that this function can return twice.
  case returns_twice
  /// This attribute indicates that SafeStack protection is enabled for this
  /// function.
  case safestack
  /// This attribute indicates that AddressSanitizer checks (dynamic address
  /// safety analysis) are enabled for this function.
  case sanitize_address
  /// This attribute indicates that MemorySanitizer checks (dynamic detection
  /// of accesses to uninitialized memory) are enabled for this function.
  case sanitize_memory
  /// This attribute indicates that ThreadSanitizer checks (dynamic thread
  /// safety analysis) are enabled for this function.
  case sanitize_thread
  /// This attribute indicates that HWAddressSanitizer checks (dynamic address
  /// safety analysis based on tagged pointers) are enabled for this function.
  case sanitize_hwaddress
  /// This function attribute indicates that the function does not have any
  /// effects besides calculating its result and does not have undefined
  /// behavior.

  /// This attribute indicates that the function may only access memory that is
  /// either not accessible by the module being compiled, or is pointed to by
  /// its pointer arguments.
  case inaccessiblememOrArgmemonly = "inaccessiblemem_or_argmemonly"
  /// This attribute indicates that the source code contained a hint that inlin
  /// inlining this function is desirable (such as the “inline” keyword in
  /// C/C++).
