fail: argument is not a box
fail: argument is more than one expression