Hehe, good reason to continouosly optimize for result size ;)