#ifndef SPVM_INLINE2_UTIL_H
#define SPVM_INLINE2_UTIL_H

#include <stdint.h>

int32_t Extension2_util_one();

#endif