Document a_undefined and b_arrow