turn of debugging printfs
add runtime aborts for type errors