A translator system for RocketPHP