#version 3.7;

#declare real_rgb = function(r, g, b) {
    color rgb<r/255, g/255,  b/255>
  }