#ifndef __SOME_VALUE__
#define __SOME_VALUE__

#include <stdio.h>
#include <stdint.h>

int32_t some_number( void );

#endif