01 - 
                        1 1/2 pounds of beef chunks, cut into small pieces.
                      
                    
                      
                        02 - 
                        1 pound of petite potatoes, split in half.
                      
                    
                      
                        03 - 
                        4 tablespoons of butter, melted down.
                      
                    
                      
                        04 - 
                        3 garlic cloves, finely chopped.
                      
                    
                      
                        05 - 
                        1 teaspoon of onion seasoning.
                      
                    
                      
                        06 - 
                        1 teaspoon of smoked paprika spice.
                      
                    
                      
                        07 - 
                        1/2 teaspoon of dried thyme.
                      
                    
                      
                        08 - 
                        1/2 teaspoon of dried rosemary leaves.
                      
                    
                      
                        09 - 
                        1/2 teaspoon of salt.
                      
                    
                      
                        10 - 
                        1/4 teaspoon of ground black pepper.
                      
                    
                      
                        11 - 
                        1/4 cup of beef stock.
                      
                    
                      
                        12 - 
                        1 tablespoon of olive oil.