Building tests for K