binary version (This branch is regularly amended)