module4 and module6 constraints for Papilio Pro