Update bitos.h