add_library(standard_kernel standard.cpp)
target_link_libraries(standard_kernel ${LEAN_LIBS})
