Revert "master -> abi_check"

This reverts commit 3b8fd6d03d5d69ba48aa45e8fbce9f4b1fe98d38.