python3 syntax