#include "f256.h" int main(void) { reset(); print("F256 LIVES!"); return 0; }