let self = PrecondAnnotTbl.self