Macro checkpoint

macro_rules! checkpoint {
    ($controller:expr) => { ... };
    ($controller:expr, $($args:tt)*) => { ... };
}