Tests that the CBE can initialize an int main that returns 6.

Removed #include <stdio.h> and updated description.