(* Functions are only called from goal args or when substituting
* into a shell script or constant expression (this may change if we
* implement ‘:=’ assignment for variables). This evaluates a
(* Functions are only called from goal args or when substituting
* into a shell script or constant expression (this may change if we
* implement ‘:=’ assignment for variables). This evaluates a