add a simple type-unsafe regression test