New version of B model and automatic translation to C