forall_vanir: one-liner-fy

Change-Id: I5357fb831b1c2b8d7f9be7fde10d439bd0e9382c