Add helper functions to acb.h