//#Safe
/**
 * DD 23.3.17
 * This input produces StringIndexOutOfBoundsException in cacsl2boogietranslator. 
 * Issue only occurs with decimal form and multi-declaration (int a,b;) 
 *
 */

int one = 1.00000000000000000000e+00, pi;

int main()
{
    return pi;
}