inline string cutboth(string in) { return cutfirst(cutlast(in)); }
inline string functional_label(string in) { return cutfirst(in) + ":\n"; }