/* Pragmas for Storm C */

#ifndef _INCLUDE_PRAGMA_RTGEXTRA_LIB_H
#include <pragma/rtgextra_lib.h>
#endif