[arm64] everything seems to work