fastpath test working (with some type assumptions)
check file