spec1,3: integrated into a python file