BeyondC for laboratory use