There is still some factorization to make, and other irrelevant
size-related things, but I'd better wait a little and get confident
this stuff is solid.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>