Implement a_undefined and b_arrow