base_c: functions without error code return only assert the validity of their arguments, documentation changed accordingly