/* Definitions, most of them has turned out to be unneccesary, but here they * are anyway. */