Solved. Thanks!
You need a
from bpy.props import *
or something in order to define IntProperty
I don’t know the right way to debug these, but one way is to run blender from the command line and look at the messages that Python prints there when there is a problem.
solved . . . . .