For the section regarding Functions, the doc says:
"The first basic block in a program is special in two
ways: it is immediately executed on entrance to the
function, and it is not allowed to have predecessor
Is this really supposed to say: "The first basic block
in a functionis special in two ways:" ?