promela | Promela parser using PLY | Parser library

First, I'll summarize the project where I'm working so it's easier to understand the problem (I'm not use to write in English, sorry for the mistakes I could commit).

I've been working on a Promela model for path planning on natural terrain for a robot using LTL conditions. In summary, the model have to read the map information from an extern file (maps can be seen as a 2D matrix containing the height of each cell), and depending on the slope between adjacent cells, the robot could navegate through some path or not. Each cell of the map is associated with one state.

I've been testing the model with some tiny maps defined directly into the Promela model, and the path is correctly generated. To test bigger and more detailed maps (real natural terrain maps), I need to use embedded C code to preprocess the file, generating boolean values (1 for allowed movements and 0 for prohibited movements) so I could assign them to Promela variables and consider them into the LTL condition.

The problem appears when I try to add needed C libraries (like math.h) to my embedded code. I tried using c_code and c_decl functions.

(in Init proccess, to initialize the map where I'm working):