Precise exceptions in relaxed architectures [video]