Regenerate code (Kranc commit 519f2cd182c4828e74429e883139fbb8b1a11d3c)