module Q where import P out = y