/* this is used in tests */