Issue #59: No need to check @function explicitly since this is used internally to @external