Separated some machine creation logic to the spec
initialisation of program memory