HostContext.defns is now correctly an abstract method