Basic B machine extraction