little code formal just for testing git