(Abstract) Abstract Machine Experiments using Scala