3 are not enough: we need 4. So support up to 16 even though we waste
a few dozen bytes of precious RAM.

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>