Added encode testCases to check_buildin.c