Compiled for checking