check-macros 0.0.1

procedural macros for check