charm/tests/charm++/penciltest
