vim: added implicit and static annotations