Or `"%x" % ob_id`, I guess, since the rest of this file uses the `%`-style string formatting.