Branch: HEAD

Fix bug number and ALWAYS_EXCEPT according to nathan's advices, which should
be line up vertically. Disable test_42 again, it seems bug9789 still there.