Prefixes starting with <Jerry>