Extending IRedPill