proto files for codebattle