Compiled and verified