{
    "stamp_fp64" : 0,           
    "op_int32" : 1         
}