J>>>[func.require]
J>>>Define INVOKE (f, t1, t2, ..., tN, R) as INVOKE (f, t1, t2, ..., tN) implicitly converted to R.

J>Any expression can be explicitly converted to type cv void