interface: export isl_val_pow2