Checked in compiler and runtime library