Source listing that should end up in paper [work in progress].