class loading is stateful because we must symbolically execute the
static initialiser