At least, it works in maude backend in unified-builtins.