{
    "type"          : "CE",
    "source"        : "constfunccall3.v",
    "gold"          : "constfunccall3"
}