General Programming Knowledge Base and Test Code