Extensions to the marked library