This is a cropped version of what Victor Westmann (@victorwestmann) sent me
privately via e-mail.
About the "cropped" part above: it is a cropped version because his source
file had other proposals, but we are keeping only the one that we will use.
Signed-off-by: Rogério Brito <rbrito@ime.usp.br>
