Binarty message argument needs to be expr(0) after all.