
write: arg0 == (1 + 2)
