Experiments with the Amalia Android dex manipulation library