Import S5 environments with a few modifications
Tick less, allowing the globalenv test to pass with k = 2