Convert rest module to K3-speak.