+ util.h: add "ANY" for casting to (void *)