python syntax file