$def with (work, read_status)