reified runtime tests
Tests for #188