#728: #707: first half

opened by thuchacz