let record_of comp = fst (Record.obtain comp)