Documentation on instruction format