Session Categories: Data Regulations in Practice