compactify 'double_hek' even more, sacrificing readability