method loc : loc -> 'self_type = o#unknown