New posts in Warren Abstract Machine