Add exception specification to getInstr()
add a few comments