New feature: intelligent code marking via Python's compiler if a command-line option is enabled.