all handles should be printed as hex numbers