semi-stable version. type infers core-device in Test