let out_key out = Out (OutLoc out)