Switched to Gallina's python mode.