Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C