2-pointer (applicator + function) thunks was replaced 1-pointer (only applicator) thunks
non-strict strategies now support functions with up to 13 arguments