no need to define our own LineNumberTable ref