{
	"TYPE": "i32",
	"VAL0": "1000000"
}