Have not implemented the feature of invoking the built-in Whiley runtime
function.