Further tests of the function signatures mechanism