awk '{if($1=="rlabel" && $2=="metal3") {\
printf("  Pin %s\n",$8);\
if($8=="vdd") print "    USE POWER ;";
if($8=="gnd") print "    USE GROUND ;";
print "    PORT";
print "    LAYER metal3 ;"
printf("      RECT %3.1f %3.1f %3.1f %3.1f ;\n",$3*0.3,$4*0.3,$5*0.3,$6*0.3);
print "      END";
printf("  END %s\n\n",$8);\
}}' $1
