Testing one ZF-stdlib