let
record_of comp = fst (
Record
.obtain comp)