committing malloc stuff in the checker, testing checker nesting support