method loc : loc -> loc = o#unknown