//
// Created by MightyPork on 2017/10/03.
//
// helper for building release packages
//
// Run with `tcc -run`
//

#include "user/version.h"
#include <stdio.h>

void main() {
	printf(FW_VERSION);
}