WYCS: minor tweak to avoid issue of external calls to Whiley functions.