eberon methods: implement super calls