simplified implementation of SyckResolver