text: /******************************************************************************
  *                                                             \  ___  /       *
  *                                                               /   \         *
  * Edison Design Group C++ Runtime                            - | \^/ | -      *
  *                                                               \   /         *
  *                                                             /  | |  \       *
  * Copyright 1992-2017 Edison Design Group Inc.                   [_]          *
  *                                                                             *
  ******************************************************************************/
  /*
  Redistribution and use in source and binary forms are permitted
  provided that the above copyright notice and this paragraph are
  duplicated in all source code forms.  The name of Edison Design
  Group, Inc. may not be used to endorse or promote products derived
  from this software without specific prior written permission.
  THIS SOFTWARE IS PROVIDED "AS IS" AND WITHOUT ANY EXPRESS OR
  IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
  WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
  Any use of this software is at the user's own risk.
  */
  /*
  
  Declarations for runtime routines for lowered VLA operations.
  
  */
  
  #ifndef VLA_ALLOC_H
  #define VLA_ALLOC_H
  
  #include "runtime.h"
  
  EXTERN_C void __vla_alloc(void       *ptr,
                            ptrdiff_t  n_bytes);
  
  EXTERN_C void __vla_dealloc(void  *ptr);
  
  #endif /* ifndef VLA_ALLOC_H */
  
  /******************************************************************************
  *                                                             \  ___  /       *
  *                                                               /   \         *
  * Edison Design Group C++ Runtime                            - | \^/ | -      *
  *                                                               \   /         *
  *                                                             /  | |  \       *
  * Copyright 1992-2017 Edison Design Group Inc.                   [_]          *
  *                                                                             *
  ******************************************************************************/
  