The A57 Instruction Manual is available