use a simple int as the handle