#! /bin/sh

sed 's/no_//
s/_int *(/(/
s/_length *(/(/
s/_color *(/(/
s/_string *(/(/
s/_vector *(/(/'
