Testing Agda primitives.