use uint32_t for vl