Use inline vector in m-lift macro