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>