On Leaky Abstractions and Objective-J · HackerTrans