documenting the INT interrupt