Add license header to safebfuns.c