Extension for HULK