Use magicpen for all output